Gleixner, Ambros, Prof. Dr.

Kontakt

Position

Gast

Raum

3023

Telefon

+49 30 84185-169

E-Mail

Website

https://www.zib.de/userpage/gleixner/

Projekte

Projekte als Leitung

EnBA-M

Adlershof, one of the most important scientific, economic and media locations in Berlin, is home to more than 1,000 companies and research facilities with over 22,000...

EnBA-M

BEAM-ME

The project "Realisierung von Beschleunigungsstrategien der anwendungsorientierten Mathematik und Informatik für optimierende Energiesystemmodelle" ("BEAM-ME"), which is...

BEAM-ME

Cycle Detection in Nonreversible Markov Processes

The main objective of this project is to develop an adaptive sampling strategy for the identification of cycles in transition networks. To analyse transition networks...

Cycle Detection in Nonreversible Markov Processes

Projekte als Mitglied

HPO-NAVI

The complexity of sustainably developing research software is still largelyunderrated and the question how to guarantee visibility and fair attribution of these efforts...

HPO-NAVI

Optimization of Gas Transport

Natural gas is one of the most important energy sources in Germany and Europe. In recent years, political regulations have led to a strict separation of gas trading and...

Optimization of Gas Transport

Nonconvex Mixed-Integer Nonlinear Programming

The goal of this project is to bring together the expertise of SCIP and LaGO for the development of a general purpose LP based branch-and-cut solver for nonconvex MINLPs...

Nonconvex Mixed-Integer Nonlinear Programming

Publikationen

2026

A Numerically-safe Branch-Price-and-Cut Algorithm for the Length-Constrained Cycle Partition Problem 2026 Mohammed Ghannam, Ambros Gleixner, Gioni Mexi, Edward Lam BibTeX
arXiv

Boolean Algebra–Driven Sepsis Diagnosis arxiv, Vol.arXiv:2605.29686, 2026 Marcus Weber, Kai Kappert, Marco Reidelbach, Ambros Gleixner, Konstantin Fackeldey, Wolfgang Bauer BibTeX
arXiv

CHAP: A Hybrid GPU-CPU Heuristic for MIP 2026 Gennesaret Tjusila, Alexander Hoen, Nils-Christian Kempke, Gioni Mexi, Timo Berthold, Ambros Gleixner, Thorsten Koch, Sebastian Pokutta BibTeX
arXiv

Distributed Parallel Structure-Aware Presolving for Arrowhead Linear Programs ZIB-Report 26-01 Nils-Christian Kempke, Stephen John Maher, Daniel Rehfeldt, Ambros Gleixner, Thorsten Koch, Svenja Uslu PDF
PDF
BibTeX
URN

MIP-DD: Delta Debugging for Mixed-Integer Programming Solvers INFORMS Journal on Computing, 38(2), pp. 414-423, 2026 Alexander Hoen, Dominik Kamp, Ambros Gleixner BibTeX
DOI
arXiv

2025

A diving heuristic for mixed-integer problems with unbounded semi-continuous variables EURO Journal on Computational Optimization, Vol.13, p. 100107, 2025 Katrin Halbig, Alexander Hoen, Ambros Gleixner, Jakob Witzig, Dieter Weninger BibTeX
DOI
arXiv

Analyzing the Numerical Correctness of Branch-and-Bound Decisions for Mixed-Integer Programming Integration of Constraint Programming, Artificial Intelligence, and Operations Research, pp. 35-50, Vol.15763, Lecture Notes in Computer Science, 2025 Alexander Hoen, Ambros Gleixner BibTeX
DOI
arXiv

Branch and price for nonlinear production-maintenance scheduling in complex machinery 2025 João Dionísio, Ambros Gleixner, João Pedro Pedroso, Ksenia Bestuzheva BibTeX
arXiv

Clique Probing for Mixed-Integer Programs 2025 Jacob von Holly-Ponientzietz, Alexander Hoen, Mark Turner, Ambros Gleixner BibTeX
arXiv

Cut-Based Conflict Analysis in Mixed Integer Programming INFORMS Journal on Computing, p. ijoc.2024.0999, 2025 Gioni Mexi, Felipe Serrano, Timo Berthold, Ambros Gleixner, Jakob Nordström BibTeX
DOI
arXiv

Efficient separation of RLT cuts for implicit and explicit bilinear terms Mathematical Programming, Series B, 210(1-2), pp. 47-74, 2025 Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg BibTeX
DOI
arXiv

Hybrid genetic search for dynamic vehicle routing with time windows Operations Research Proceedings 2023, pp. 273-280, Lecture Notes in Operations Research, 2025 Mohammed Ghannam, Ambros Gleixner BibTeX
DOI
arXiv

Sorting Criteria for Line-based Periodic Timetabling Heuristics Operations Research Proceedings 2024, pp. 348-354, Lecture Notes in Operations Research, 2025 (preprint available as ) Patricia Ebert, Berenike Masing, Niels Lindner, Ambros Gleixner BibTeX
DOI

The SCIP Optimization Suite 10.0 2025 Christopher Hojny, Mathieu Besançon, Ksenia Bestuzheva, Sander Borst, João Dionísio, Johannes Ehls, Leon Eifler, Mohammed Ghannam, Ambros Gleixner, Adrian Göß, Alexander Hoen, Jacob von Holly-Ponientzietz, Rolf van der Hulst, Dominik Kamp, Thorsten Koch, Kevin Kofler, Jurgen Lentz, Marco Lübbecke, Stephen J. Maher, Paul Matti Meinhold, Gioni Mexi, Til Mohr, Erik Mühmer, Krunal Kishor Patel, Marc Pfetsch, Sebastian Pokutta, Chantal Reinartz Groba, Felipe Serrano, Yuji Shinano, Mark Turner, Stefan Vigerske, Matthias Walter, Dieter Weninger, Liding Xu BibTeX
arXiv

2024

Branch and Price for the Length-Constrained Cycle Partition Problem 2024 Mohammed Ghannam, Gioni Mexi, Edward Lam, Ambros Gleixner BibTeX
arXiv

Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver 2024 Sander Borst, Leon Eifler, Ambros Gleixner BibTeX
arXiv

2023

A proof system for certifying symmetry and optimality reasoning in integer programming 2023 Jasper van Doornmalen, Leon Eifler, Ambros Gleixner, Christopher Hojny BibTeX
arXiv